Djamel Eddine AMIR

Preprints (Submitted Papers)

• Descriptive complexity of topological invariants.
  Djamel Eddine Amir and Mathieu Hoyrup.
  [HAL]


• The surjection property and computable type.
  Djamel Eddine Amir and Mathieu Hoyrup.
  [arXiv, HAL]

Journals

2023

• Strong computable type.
  Djamel Eddine Amir and Mathieu Hoyrup.
  Computability 12(3):227-269 [arXiv, HAL, doi]


• Comparing computability in two topologies.
  Djamel Eddine Amir and Mathieu Hoyrup.
  Journal of Symbolic Logic. [HAL, doi]

Conferences

2022

• Computability of finite simplicial complexes.
  Djamel Eddine Amir and Mathieu Hoyrup.
  ICALP 2022. [arXiv, HAL, doi]

PhD Thesis